Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
991	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints ∗ Pinar Senkul Michael Kifer Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:15 Computing Workflow Constraint logic programming Constraint satisfaction problem Constraint satisfaction Resource Constraint programming Software engineering Computer programming
992	Software Model Checking via Large-Block Encoding Dirk Beyer ∗ Alessandro Cimatti † Alberto Griggio ∗‡ Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Thought Semantics Formal methods Abstraction Constraint programming Satisfiability Modulo Theories Model checking BLAST model checker Function Theoretical computer science Mathematics Cognition
993	Unit 1 Lesson 3: Graphical method for solving LPP. Learning outcome 1.Finding the graphical solution to the linear programming model Graphical Method of solving Linear Programming Add to Reading List Source URL: businessmanagementcourses.org Language: English - Date: 2007-06-08 11:37:01 Mathematics Numerical software Convex optimization Linear programming Simplex algorithm Constraint programming Constraint PROPT Cutting-plane method Mathematical optimization Operations research Numerical analysis
994	Unit 1 Lesson 11: Duality in linear programming Learning objectives: • • Add to Reading List Source URL: businessmanagementcourses.org Language: English - Date: 2007-06-08 11:37:55 Applied mathematics Linear programming Duality Constraint programming Mathematical optimization Operations research Convex optimization
995	IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, VOL. 3, NO. 3, SEPTEMBER[removed]Answer Set Programming for Procedural Content Generation: A Design Space Approach Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:47 Programming paradigms Logic programming Constraint programming Operations research NP-complete problems Answer set programming Maze Boolean satisfiability problem Solver Software engineering Theoretical computer science Computing
996	A Case Study of Expressively Constrainable Level Design Automation Tools for a Puzzle Game Adam M. Smith∗† , Erik Andersen† , Michael Mateas∗ , Zoran Popovi´c† ∗ † Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:50 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Puzzle Answer set programming Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Constraint programming Mathematics
997	Unit 1 Lesson 4: Graphical solution to a LPP Learning Outcomes • How to get an optimal solution to a linear programming model using Iso Add to Reading List Source URL: businessmanagementcourses.org Language: English - Date: 2007-06-08 11:37:12 Mathematics Convex optimization Linear programming Constraint Isocost PROPT Simplex algorithm Operations research Mathematical optimization Applied mathematics
998	Unit 1 Lesson 13: Sensitivity Analysis Learning Objectives • • Add to Reading List Source URL: businessmanagementcourses.org Language: English - Date: 2007-06-08 11:38:01 Applied mathematics Simplex algorithm Linear programming Shadow price Lagrange multiplier Constraint optimization Reduced cost Slack variable Karush–Kuhn–Tucker conditions Mathematical optimization Operations research Mathematics
999	Unit 1 Lesson 5. : Special cases of LPP Learning Outcomes Special cases of linear programming problems • • Add to Reading List Source URL: businessmanagementcourses.org Language: English - Date: 2007-06-08 11:37:20 Numerical analysis Linear programming Mathematical optimization Constraint PROPT TomSym Operations research Applied mathematics Mathematics
1000	Constrained Types for Object-Oriented Languages Nathaniel Nystrom ∗ Vijay Saraswat ∗ Jens Palsberg † Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:41 Type theory Constraint programming Data types Method C++ Type system Constructor Constraint inference Objective-C Software engineering Computing Computer programming